Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
371	Mechanizing Proof for the Z Toolkit R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:35:59 Propositional calculus Logical syntax Metalogic Predicate logic Principia Mathematica First-order logic Function Constructible universe Lambda calculus Logic Mathematics Mathematical logic
372	A Typed Formulation of the Semantics of Z R.D. Arthan [removed] 3rd August 2005 Abstract This document is a companion to Ian Toyn’s presentation of the semantics of Z that Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:50:31 Mathematics Formal methods Philosophical logic Quantification Free variables and bound variables Type theory Denotational semantics Combinatory logic Logic Mathematical logic Predicate logic
373	QuickFOIL: Scalable Inductive Logic Programming Qiang Zeng Jignesh M. Patel David Page Add to Reading List Source URL: www.vldb.org Language: English - Date: 2014-10-10 16:41:18 Propositional calculus Predicate logic Logic in computer science Logic programming Relational model Relational algebra Horn clause Literal Finitary relation Logic Mathematical logic Mathematics
374	Getting your to-do list under control: Imperative semantics and the grammar of intending Thomas Grano — Indiana University 0. Introduction: Control predicates can be divided into two classes depending on whether they d Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:12:49 Grammar Meaning Philosophical logic Human communication Control Predicate Subject Modal logic Language Logic Linguistics Semantics
375	Global semantic constraints: the case of van Benthem’s Problem Summary. Any adjectival theory of numeral modifiers faces a challenge known as van Benthem’s problem, whereby quantifiers like fewer than three give rise Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:11:57 Food and drink Predicate logic Quantification Grammar Italian cuisine Pizza Predicate Distributive property Singular they Linguistics Semantics Logic
376	Formal Veri ation of a Memory Model for C -Like Imperative Languages Sandrine Blazy and Xavier Leroy INRIA Ro quen ourt[removed]Le Chesnay edex, Fran e Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2005-10-31 04:04:01 Mereology Predicate logic Cell Pointer Memory C Computing Software engineering Computer programming
377	A Proof Environment for Partial Specifications in OUN Einar Broch Johnsen and Olaf Owe Department of informatics, University of Oslo Abstract Aspect-oriented specifications and formal reasoning are often advocated for th Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:03:02 Predicate logic Object-oriented programming GNUstep NeXT Objective-C Protocol Foreach loop Predicate Constructor Software engineering Logic Mathematical logic
378	Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:02:10 Mathematics Logic in computer science Maude system Computability theory Abstraction Rewriting Predicate Philosophy Normal form Theoretical computer science Formal languages Programming language theory
379	Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:36:18 Model theory Functions and mappings First-order logic Predicate logic Constructible universe Zermelo set theory Function Operator theory Linear temporal logic Mathematical logic Mathematics Logic
380	AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: security.ece.cmu.edu Language: English - Date: 2011-05-02 14:34:52 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics

UPDATE